#ifndef __ARM_MMU_H
#define __ARM_MMU_H

typedef struct {
// #ifdef CONFIG_CPU_HAS_ASID
	unsigned int id;
// #endif
	unsigned int kvm_seq;
} mm_context_t;

#endif
